MARCIVE: A Cooperative Automated Library System

Library Effectiveness in Automated Cooperative Systems

Automated Merging in a Cooperative Adaptive Cruise Control (CACC) System

Cooperative Adaptive Cruise Control (CACC) is a form of cruise control in which a vehicle maintains a constant headway to its preceding vehicle using radar and vehicle-to-vehicle (V2V) communication. Within the Connect & Drive1 project we have implemented and tested a prototype of such a system, with IEEE 802.11p as the enabling communication technology. In this paper we present an extension of...

OverCite: A Cooperative Digital Research Library

CiteSeer is a well-known online resource for the computer science research community, allowing users to search and browse a large archive of research papers. Unfortunately, its current centralized incarnation is costly to run. Although members of the community would presumably be willing to donate hardware and bandwidth at their own sites to assist CiteSeer, the current architecture does not fa...

Selecting An Automated Library System for Finnish Research Libraries, Linnea2

All Finnish academic libraries and a number of other Finnish research libraries have used the VTLS software during the 90’s. The contract with VTLS Inc. was signed in 1988 and implementation took place during the following years. A unified network called Linnea was created, consisting of the local installations and a common physical union catalogue which all were connected by the powerful acade...

Cooperative Parallel Automated

Automated Theorem Proving can be interpreted as the solution of search problems which comprise huge search spaces. Parallelization of the proof task as well as cooperation between the involved provers ooer the possibility to develop more eecient search procedures. In this paper we want to investigate concepts for the development of cooperative parallel theorem provers. We deal with architectura...